protoknow(p,sp,cm(d,dot,dot)).
protoknow(p,sp,pri((sum,x),[pri(enc,[cm(e,dot,dot),cm(f,dot,dot)])])).
